Effizientes symbolisches und algebraisches Rechnen
Projektleitung und Mitarbeiter
Buendgen, R. (Dr. rer. nat.), Hagel, G. (Dipl. Math.), Loos,
R. G. K. (Prof. Dr. re. nat.), Simon, G. (Dr. rer. nat.), Stuebner,
R. (Dr. hum. biol.), Weber, A. (Dipl. Math.),
gemeinsam mit:
Langemyr, L. (Dr. rer. nat. Royal Inst. of Technol., Stockholm),
Seitz, S. (Dr. rer. nat., Siemens, Muenchen)
Forschungsbericht :
1990-1992
Tel./ Fax.:
Projektbeschreibung
Im Mittelpunkt des Interesses steht die Algorithmenforschung im Bereich der
algebraischen Algorithmen (Collins'sche und lineare Quantorenelimination, Loesen
algebraischer Gleichungssysteme, Rechnen mit algebraischen Zahlen) und
Termersetzungssysteme (Induktion, Zusammenhang Knuth-Bendix- und
Buchberger Algorithmus). Zu der Entwicklung neuer Algorithmen gehoert
auch ihre Implementierung und damit auch die Bereitstellung einer
geeigneten Entwicklungsumgebung. Dazu wurde ein schneller,
hochportabler Compiler fuer die Algorithmenbeschreibungssprache ALDES
entwickelt. Am Typproblem fuer algebraische Datentypen wird
gearbeitet. Des weiteren wird die Implementierung von Algorithmen der
Computeralgebra auf modernen Architekturen (Rechnernetze,
Vektorrechner) untersucht.
Mittelgeber
Drittmittelfinanzierung: ESPRIT (Basic Research)
Publikationen
Buendgen, R., Hagel, G., Loos, L., Seitz, S., Simon, G.,
Stuebner, R., Weber, A.: SAC-2 in ALDES, ein Werkzeug fuer die
Algorithmenforschung. - mathPAD 1 33-37 (1991).
INDEX
HOME
SUCHEN
KONTAKT
LINKS
qvf-info@uni-tuebingen.de(qvf-info@uni-tuebingen.de)
- Stand: 15.09.96
Copyright Hinweise